set(SUPPORTED_EMU_PLATFORMS renode)
set(RENODE_SCRIPT ${CMAKE_CURRENT_LIST_DIR}/support/cortex_a53.resc)
set(RENODE_UART sysbus.uart0)
